derivative of natural logarithm using product property